منابع مشابه
Likelihood, Probability, and Knowledge
The modal logic LL was introduced by Halpern and Rabin [HR] as a means of doing qualitative reasoning about likelihood. Here the relationship between LL and probability theory is examined. It is shown that there is a way of translating probability assertions into LL in a sound manner, so that LL in some sense can capture the probabilistic interpretation of likelihood. However, the translation i...
متن کاملConditional Belief, Knowledge and Probability
A natural way to represent beliefs and the process of updating beliefs is presented by Bayesian probability theory, where belief of an agent a in P can be interpreted as a considering that P is more probable than not P. This paper attempts to get at the core logical notion underlying this. The paper presents a sound and complete neighbourhood logic for conditional belief and knowledge, and trac...
متن کاملUpdate, Probability, Knowledge and Belief
The paper compares two kinds of models for logics of knowledge and belief, neighbourhood models and epistemic weight models. We give sound and complete calculi for both, and we show that our calculus for neighbourhood models is sound but not complete for epistemic weight models. Epistemic weight models combine knowledge and probability by using epistemic accessibility relations and weights to d...
متن کاملREASONING ABOUT KNOWLEDGE AND PROBABILITY: Preliminary Report
A b s t r a c t : We provide a model for reasoning about knowledge anti probability together. We a.llow explicit mention of probabilities in formulas, so that our language has formulas tha.t essentia.lly say "a.ccording to agent i, formula. (p holds with probability a.t least o~." The language is powerfid enough to allow reasoning a~bout higher-order probabilities, as well as allowing explicit ...
متن کاملKnowledge Probability and Adversaries Preliminary Report
What should it mean for an agent to know or believe an assertion is true with probability Di erent papers FH FZ HMT give di er ent answers choosing to use quite di erent probabil ity spaces when computing the probability an agent assigns to an event We show that each choice can be understood in terms of a betting game and that each choice corresponds to betting against a di erent opponent We co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Microbe Magazine
سال: 2011
ISSN: 1558-7452,1558-7460
DOI: 10.1128/microbe.6.335.1